|
|
Logic, Rationality, and Interaction
by Grossi, Davide.
Publication:
. XII, 363 p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Grammar
by Morrill, Glyn.
Publication:
. X, 293 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Typed Lambda Calculi and Applications
by Hasegawa, Masahito.
Publication:
. XII, 251 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Kahl, Wolfram.
Publication:
. XII, 361 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language, Information and Computation
by Ong, Luke.
Publication:
. XII, 337 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Grammar
by Groote, Philippe.
Publication:
. X, 290 p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
How the World Computes
by Cooper, S. Barry.
Publication:
. XVIII, 756p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Foundations in Computer Science
by Kuich, Werner.
Publication:
. X, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Rationality, and Interaction
by Ditmarsch, Hans.
Publication:
. XI, 403 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Mathematics of Language
by Kanazawa, Makoto.
Publication:
. IV, 227p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and Games on Automatic Structures
by Kaiser, Łukasz.
Publication:
. XII, 118 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Models of Computation in Context
by Löwe, Benedikt.
Publication:
. XIII, 319p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Typed Lambda Calculi and Applications
by Ong, Luke.
Publication:
. XII, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language and Meaning
by Aloni, Maria.
Publication:
. X, 476p. 1 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language, Information and Computation
by Dawar, Anuj.
Publication:
. X, 259p. 28 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|